Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
191	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-11-09 01:03:49 Computing Programming language theory Compiler construction Models of computation Instruction scheduling Denotational semantics Trace scheduling Abstract interpretation Assembly language Compiler optimizations Programming language implementation Software engineering
192	A Formalization of Programs in First-Order Logic with a Discrete Linear Order∗ Fangzhen Lin () Department of Computer Science The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, H Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2014-03-07 00:56:20 Logic in computer science Functions and mappings Formal methods Function First-order logic Predicate transformer semantics FO Quasigroup Dynamic logic Mathematics Mathematical logic Logic
193	Using Semantic Unification to Generate Regular Expressions from Natural Language Nate Kushman Regina Barzilay Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {nkushman, regin Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2013-11-10 12:44:57 Formal languages Theoretical computer science Computational linguistics Lexical semantics Lambda calculus Parsing Semantics Word-sense disambiguation Natural language processing Linguistics Science Applied mathematics
194	Web 2.0 and the Isolation Problem Case Study : FBJS Formal Semantics of JavaScript Achieving the Isolation goal Ongoing Language Based isolation of Untrusted JavaScript Ankur Taly Add to Reading List Source URL: w2spconf.com Language: English - Date: 2012-02-07 16:10:05 JavaScript Software engineering Computer programming Web 2.0 Computing Cross-platform software Scripting languages
195	Coinductive big-step operational semantics Xavier Leroy a,∗ Herv´e Grall b a INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2007-12-16 08:06:13 Logical syntax Theoretical computer science Logic in computer science Proof theory Coinduction Rule of inference Theorem Formal proof Structural induction Logic Mathematics Mathematical logic
196	NOAH CONSTANT ————————————————————————————————— http://people.umass.edu/nconstan/ Department of Linguistics University of Mass Add to Reading List Source URL: people.umass.edu Language: English - Date: 2013-06-25 02:56:02 Science Year of birth missing Cognitive science Angelika Kratzer West Coast Conference on Formal Linguistics Focus Natural Language Semantics University of Massachusetts Amherst Semantics Academia Linguistics
197	Microsoft Word - Inferentialism-Sofia.doc Add to Reading List Source URL: jarda.peregrin.cz Language: English - Date: 2012-05-27 04:13:34 Semantics Philosophy of language Logical syntax Metalogic Inferential role semantics Robert Brandom Meaning Formal proof Truth Logic Philosophy Philosophical logic
198	Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions Stefan Heule, Ioannis T. Kassios, Peter Müller, and Alexander J. Summers ETH Zurich, Switzerland Add to Reading List Source URL: stefanheule.com Language: English - Date: 2014-09-10 01:53:47 Formal methods Functions and mappings Predicate logic Abstraction Predicate Function Anamorphism Satisfiability Modulo Theories Predicate transformer semantics Mathematics Mathematical logic Logic
199	Confluence Analysis for Distributed Programs: A Model-Theoretic Approach William R. Marczak1 , Peter Alvaro1 , Neil Conway1 , Joseph M. Hellerstein1 , and David Maier2 1 Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2012-09-05 02:41:30 Linguistics Logic programming Model theory Formal languages Stable model semantics Schema Interpretation Negation Semantics Logic Mathematical logic
200	Formal Derivation of State-Rich Reactive Programs using Circus Marcel Vin´ıcius Medeiros Oliveira Submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2014-11-17 14:56:11 Computer science Logic in computer science Formal methods Programming language semantics Denotational semantics JCSP Circus Refinement calculus Unifying Theories of Programming Theoretical computer science Computing Concurrent computing

UPDATE